Piecewise contractions defined by iterated function systems

Let $\phi_1,\ldots,\phi_n:[0,1]\to (0,1)$ be Lipschitz contractions. Let $I=[0,1)$, $x_0=0$ and $x_n=1$. We prove that for Lebesgue almost every $(x_1,...,x_{n-1})$ satisfying $0<x_1<\cdots <x_{n-1}<1$, the piecewise contraction $f:I\to I$ defined by $x\in [x_{i-1},x_i)\mapsto \phi_i(x)$ is asymptotically periodic. More precisely, $f$ has at least one and at most $n$ periodic orbits and the $\omega$-limit set $\omega_f(x)$ is a periodic orbit of $f$ for every $x\in I$.Comment: 16 pages, two figure

Asymptotically periodic piecewise contractions of the interval

We consider the iterates of a generic injective piecewise contraction of the interval defined by a finite family of contractions. Let $\phi_i:[0,1]\to (0,1)$, $1\le i\le n$, be $C^2$-diffeomorphisms with $\sup_{x\in (0,1)} \vert D\phi_i(x)\vert<1$ whose images $\phi_1([0,1]), \ldots, \phi_n([0,1])$ are pairwise disjoint. Let $0<x_1<\cdots<x_{n-1}<1$ and let $I_1,\ldots, I_n$ be a partition of the interval $[0,1)$ into subintervals $I_i$ having interior $(x_{i-1},x_i)$, where $x_0=0$ and $x_n=1$. Let $f_{x_1,\ldots,x_{n-1}}$ be the map given by $x\mapsto \phi_i(x)$ if $x\in I_i$, for $1\le i\le n$. Among other results we prove that for Lebesgue almost every $(x_1,\ldots,x_{n-1})$, the piecewise contraction $f_{x_1,\ldots,x_{n-1}}$ is asymptotically periodic.Comment: 8 page

Software knowledge management using wikis : a needs and features analysis

Estágio realizado na StrongstepDocumento confidencial. Não pode ser disponibilizado para consultaTese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 201

Analysis of scientific production on Technological Innovation in Tourism

Until the emergence of the COVID-19 pandemic, tourism was one of the sectors with the greatest growth potential on a global scale. It is now highlighted as one of the hardest hit sectors in economic terms and requires strategic recovery capacity coupled with technological innovation. Technology and innovation could provide a strong contribution to the development of tourism by integrating knowledge about tourism products, services and experiences and the new needs and behaviours of consumers. This study analysed the scientific productions on technological innovation in the tourism sector using literature review and bibliometric analysis techniques, with data collected from the main databases of international relevance, Web of Science and Scopus. This study presents the mapping and cluster structures for the trends and dynamics of the investigations on the discovered research themes using the VOSviewer software. The results indicate that research related to innovation and technology in tourism has evolved in recent years, as well as highlighting the main areas of activity and presenting contributions to possible future lines of research.info:eu-repo/semantics/publishedVersio

A necessidade de um balanço complementar informativo ou de um balanço paralelo actualizado

As exigências decorrentes da chamada “nova economia”, designadamente no que se refere à informação produzida pelas organizações empresariais, levam-nos a questionar a necessidade de ajustar, de modo útil, aquele que é tido como o documento fundamental da informação financeira das entidades – o balanço –, e a sustentar a veracidade das decisões tomadas com base na relevância dos elementos que o compõem. Desde o início da segunda metade do século XX que têm sido cada vez mais importantes factores que influenciam o valor da empresa e não aparecem relevados na informação financeira relatada. A par disso não tem sido menos evidente o facto de muitos dos elementos do património se encontrarem valorizados não de acordo com a sua capacidade de realização mas no respeito estrito pela observância de um conjunto de normas que têm imposto bastante rigidez na estruturação e elaboração do balanço. Em Portugal, a lei comercial vertida, no essencial, no Código das Sociedades Comerciais (CSC) impõe que, em determinadas situações, haja a necessidade de validar os valores constantes dos balanços que vão servir de base a determinadas operações de transformação dos factos sociais das sociedades em causa, numa clara tentativa de com isso proteger os interesses dos agentes envolvidos, acometendo para tal essa tarefa aos Revisores Oficiais de Contas (ROC), que são acreditados pela Ordem dos Revisores Oficiais de Contas (OROC) que supostamente lhes confere a categoria de peritos em contabilidade e, por essa via, insuspeitos nas opiniões que formulam sobre o balanço utilizado nas operações supra referidas. O artigo que nos propomos desenvolver procura, no fundamental, percorrer o caminho da interpretação teórica sobre a necessidade de ajustamento dos balanços produzidos pela contabilidade com vista a uma utilização rigorosa e útil dos valores dos elementos que o integram. Nessa perspectiva iniciaremos a nossa abordagem pela identificação conceptual do balanço, enquadrando-o com o normativo contabilístico que determina a sua elaboração para a seguir procurarmos evidenciar a necessidade dos ajustamentos que se tornam necessários fazer para que o balanço dê de si e daquilo que representa uma imagem fiel e verdadeira da empresa ou entidade. Numa lógica sequencial abordaremos o conceito de pluralidade de balanços e da sua utilidade em relação a situações concretas. Com efeito, utilizaremos, na parte final, os dispositivos que emanam da lei comercial portuguesa e a partir dos quais somos levados a deduzir sobre a prescrição da necessidade de ajustar os valores do balanço para determinadas situações, que procuraremos tipificar pontualmente. Concluiremos o nosso artigo com as considerações que a nosso ver se manifestam oportunas para que a introdução do conceito da pluralidade de balanços e a extensão das situações previstas na lei comercial a outras eventualidades se tornem num contributo para a melhoria da qualidade e da utilidade da informação financeira

Security, Performance and Energy Trade-offs of Hardware-assisted Memory Protection Mechanisms

The deployment of large-scale distributed systems, e.g., publish-subscribe platforms, that operate over sensitive data using the infrastructure of public cloud providers, is nowadays heavily hindered by the surging lack of trust toward the cloud operators. Although purely software-based solutions exist to protect the confidentiality of data and the processing itself, such as homomorphic encryption schemes, their performance is far from being practical under real-world workloads. The performance trade-offs of two novel hardware-assisted memory protection mechanisms, namely AMD SEV and Intel SGX - currently available on the market to tackle this problem, are described in this practical experience. Specifically, we implement and evaluate a publish/subscribe use-case and evaluate the impact of the memory protection mechanisms and the resulting performance. This paper reports on the experience gained while building this system, in particular when having to cope with the technical limitations imposed by SEV and SGX. Several trade-offs that provide valuable insights in terms of latency, throughput, processing time and energy requirements are exhibited by means of micro- and macro-benchmarks.Comment: European Commission Project: LEGaTO - Low Energy Toolset for Heterogeneous Computing (EC-H2020-780681

Deep Learning on SAR Imagery: Transfer Learning Versus Randomly Initialized Weights

Deploying deep learning on Synthetic Aperture Radar (SAR) data is becoming more common for mapping purposes. One such case is sea ice, which is highly dynamic and rapidly changes as a result of the combined effect of wind, temperature, and ocean currents. Therefore, frequent mapping of sea ice is necessary to ensure safe marine navigation. However, there is a general shortage of expert-labeled data to train deep learning algorithms. Fine-tuning a pre-trained model on SAR imagery is a potential solution. In this paper, we compare the performance of deep learning models trained from scratch using randomly initialized weights against pre-trained models that we fine-tune for this purpose. Our results show that pre-trained models lead to better results, especially on test samples from the melt season

iFAct Recoding

Estágio realizado na Critical Software, S. ATese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 200